Upper Bounds for Positional Paris-Harrington Games

نویسندگان

  • Lorenzo Carlucci
  • Massimo Lauria
چکیده

We give upper bounds for a positional game — in the sense of Beck — based on the Paris-Harrington principle for bi-colorings of graphs and uniform hypergraphs of arbitrary dimension. The bounds show a striking difference with respect to the bounds of the combinatorial principle itself. Our results confirm a phenomenon already observed by Beck and others: the upper bounds for the game version of a combinatorial principle are drastically smaller than the upper bounds for the principle itself. In the case of Paris-Harrington games the difference is qualitatively very striking. For example, the bounds for the game on 3uniform hypergraphs are a fixed stack of exponentials while the bounds on the corresponding combinatorial principle are known to be Ackermannian! For higher dimensions, the combinatorial Paris-Harrington numbers are known to be cofinal in the Schwichtenberg-Wainer Hiearchy of fast-growing functions up to ε0, while we show that the game Paris-Harrington numbers are fixed stacks of exponentials.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some Bounds for the Ramsey-Paris-Harrington Numbers

It has recently been discovered that a certain variant of Ramsey's theorem cannot be proved in first-order Peano arithmetic although it is in fact a true theorem. In this paper we give some bounds for the "Ramsey-Paris-Harrington numbers" associated with this variant of Ramsey's theorem, involving coloring of pairs . In the course of the investigation we also study certain weaker and stronger p...

متن کامل

On Fixed-Parameter Complexity of Infinite Games

We investigate and classify fixed parameter complexity of several infinite duration games, including Rabin, Streett, Muller, parity, mean payoff, and simple stochastic, using different natural parameterizations. Most known fixed parameter intractable games are PSPACEor EXP-complete classically, AW [∗] or XP-hard parametrically, and are all finite duration games. In contrast, the games we consid...

متن کامل

The Picker-Chooser diameter game

Positional Games are played under several rules on the same hypergraph. We consider some intriguing connection among the outcome of the Maker-Breaker and the Picker-Chooser versions. The later ones were introduced by Beck in [5] and proved to be important in understanding Positional Games in general. Beck had the profound conjecture that playing on the same hypergraph, Picker has better chances...

متن کامل

Comparison of Positional Release Technique with and without strain-counter strain technique on the pain, neck range of motion in men with active trigger points in upper trapezius muscle

 Aims and background: Trigger points are sensitive points in the skeletal muscle and neck muscles that cause referral pain, decrease the range of motion and muscle soreness. Therefore, the purpose of this study was to compare the effect of the Positional Release Technique with and without strain-counter strain technique on the pain, neck range of motion in men with active trigger points in uppe...

متن کامل

Forbidden Subgraph Bounds for Parallel Repetition and the Density Hales-Jewett Theorem

We study a special kind of bounds (so called forbidden subgraph bounds, cf. Feige, Verbitsky ’02) for parallel repetition of multi-prover games. First, we show that forbidden subgraph upper bounds for r ≥ 3 provers imply the same bounds for the density Hales-Jewett theorem for alphabet of size r. As a consequence, this yields a new family of games with slow decrease in the parallel repetition v...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012